On French Negation

Frequency and the Evolution of French Negation

On Negation As Instantiation

Given a logic program P and a goal G, we introduce a notion which states when an SLD-tree for P fGg instantiates a set of variables V with respect to another one, W. We call this notion weak instantiation, as it is a generalisation of the instantiation property introduced by Di Pierro, Martelli and Palamidessi. A negation rule based on instanti-ation, the so-called Negation As Instantiation rul...

More on Empirical Negation

Intuitionism can be seen as a verificationism restricted to mathematical discourse. An attempt to generalize intuitionism to empirical discourse presents various challenges. One of those concerns the logical and semantical behavior of what has been called ‘empirical negation’. An extension of intuitionistic logic with empirical negation was given by Michael De and a labelled tableaux system was...

Recognizing Complex Negation on Twitter

After the Great East Japan Earthquake in 2011, an abundance of false rumors were disseminated on Twitter that actually hindered rescue activities. This work presents a method for recognizing the negation of predicates on Twitter to find Japanese tweets that refute false rumors. We assume that the predicate “occur” is negated in the sentence “The guy who tweeted that a nuclear explosion occurred...

On negation: Pure local rules

This is an initial systematic study of the properties of negation from the point of view of abstract deductive systems. A unifying framework of multiple-conclusion consequence relations is adopted so as to allow us to explore symmetry in exposing and matching a great number of positive contextual sub-classical rules involving this logical constant —among others, well-known forms of proof by cas...